\begin{tabbing}
$\forall$$A$:Type, $I$:MaInterface($A$), $i$:Id.
\\[0ex]($i$ $\in$ ma{-}interface{-}locs($I$))
\\[0ex]$\Rightarrow$ (\=ma{-}interface{-}conds($I$;$i$)\+
\\[0ex]$\in$ \=$k$:Knd fp$\rightarrow$\+
\\[0ex]$V$:Type
\\[0ex]$\times$ \=(State(if ma{-}interface{-}loc($I$;$i$) then ma{-}interface{-}ds($I$;$i$) else $\otimes$ fi )$\rightarrow$$V$$\rightarrow$\+
\\[0ex]($A$ + Top)))
\-\-\-
\end{tabbing}